Algebraic semantics - PDFSEARCH.IO - Document Search Engine

Algebraic semantics
Results: 56

#	Item
41	on permutation in simplified semantics Greg Restall and Tony Roy Philosophy Department The University of Melbourne [removed] Add to Reading List Source URL: consequently.org Language: English - Date: 2009-03-11 07:05:07 Valuation Natural deduction Homotopy theory Gelfand pair Abstract algebra Algebraic geometry Field theory
42	Linear-time algorithms for Monadic Logic Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:23 Predicate logic Model theory Philosophical logic Semantics Algebraic structures First-order logic FO Logical connective Quantification Logic Mathematical logic Mathematics
43	Chapter 1 Digital Logic Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2006-08-27 15:19:16 Abstract algebra Propositional calculus Algebraic logic Logical connectives Semantics Truth table Logic gate Negation Propositional formula Mathematics Mathematical logic Boolean algebra
44	J Autom Reasoning manuscript No. (will be inserted by the editor) Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-09-06 11:25:12 Computer science Logic in computer science Dependently typed programming Type theory Programming language semantics Generalized algebraic data type Lambda calculus Denotational semantics Theoretical computer science Software engineering Models of computation
45	Multiversal Polymorphic Algebraic Theories — Syntax, Semantics, Translations, and Equational Logic — Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-24 15:15:34 Symbol Model theory Structure Admissible rule Monoid Sigma-algebra Orbifold Programming Computable Functions Mathematics Abstract algebra Mathematical logic
46	FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES* BY F. WILLIAM LAWVERE REED COLLEGE, PORTLAND, OREGON Add to Reading List Source URL: www.pnas.org Language: English - Date: 2005-04-22 14:56:27 Abstract algebra Functors Adjoint functors Category of rings Free object Algebraic theory Equivalence of categories Initial and terminal objects Natural transformation Category theory Mathematics Algebra
47	PROPERTIES PRESERVED UNDER ALGEBRAIC CONSTRUCTIONS R. C. LYNDON Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 13:29:20 Semantics Model theory Predicate logic Horn clause Algebraic geometry Alfred Tarski Boolean algebra Quantification Interpretation Logic Mathematical logic Mathematics
48	A Tableau System for Natural Logic and Natural Reasoning Reinhard Muskens Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2011-04-24 14:07:30 Semantics Formal languages Computational linguistics Metalogic Algebraic logic Method of analytic tableaux Categorial grammar Simply typed lambda calculus Lambda calculus Logic Mathematical logic Mathematics
49	An Introduction to Binary Decision Diagrams Henrik Reif Andersen Add to Reading List Source URL: www.cs.unb.ca Language: English - Date: 2004-10-04 19:51:22 Logic Propositional calculus Semantics Algebraic logic Formal methods Tautology Canonical form Truth table Conjunctive normal form Mathematics Mathematical logic Boolean algebra
50	FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2004-10-21 12:10:16 Algebraic topology Adjoint functors William Lawvere Homological algebra Monad Functor Algebra Topos Sheaf Abstract algebra Category theory Mathematics

UPDATE